Ressourcenoptimierung von Workflow Problemen

Aktuelle Workflow Management Systeme sind in der Lage, die Durchlaufzeit einzelner Prozesse schon in der Planungsphase zu optimieren. Sie vernachlässigen jedoch eine Optimierung von Organisation und Infrastruktur. Dies gilt insbesondere für flexible Prozesse mit kontinuierlicher Versorgung. Eine Optimierung von Organisation und Infrastruktur wird aufgrund von wachsenden Prozessen bei zunehmender Komplexität notwendig. Dies betrifft vor allem die Wirtschaft, in der Zeit und Kapital eine wesentliche Rolle spielt. In dieser Arbeit wird ein constraintbasierter Lösungsansatz vorgestellt, der Organisation und Infrastruktur flexibler Systeme mit kontinuierlicher Versorgung an ein optimales Verhältnis von Kosten und Taktzeit approximiert. Die Implementierung basiert auf dem System Mozart und der Programmiersprache Oz

Ressourcenoptimierung von Workflow Problemen

Aktuelle Workflow Management Systeme sind in der Lage, die Durchlaufzeit einzelner Prozesse schon in der Planungsphase zu optimieren. Sie vernachlässigen jedoch eine Optimierung von Organisation und Infrastruktur. Dies gilt insbesondere für flexible Prozesse mit kontinuierlicher Versorgung. Eine Optimierung von Organisation und Infrastruktur wird aufgrund von wachsenden Prozessen bei zunehmender Komplexität notwendig. Dies betrifft vor allem die Wirtschaft, in der Zeit und Kapital eine wesentliche Rolle spielt. In dieser Arbeit wird ein constraintbasierter Lösungsansatz vorgestellt, der Organisation und Infrastruktur flexibler Systeme mit kontinuierlicher Versorgung an ein optimales Verhältnis von Kosten und Taktzeit approximiert. Die Implementierung basiert auf dem System Mozart und der Programmiersprache Oz

Roflumilast in moderate-to-severe chronic obstructive pulmonary disease treated with longacting bronchodilators: two randomised clinical trials

Background Patients with chronic obstructive pulmonary disease (COPD) have few options for treatment. The efficacy and safety of the phosphodiesterase-4 inhibitor roflumilast have been investigated in studies of patients with moderate-to-severe COPD, but not in those concomitantly treated with longacting inhaled bronchodilators. The effect of roflumilast on lung function in patients with COPD that is moderate to severe who are already being treated with salmeterol or tiotropium was investigated. Methods In two double-blind, multicentre studies done in an outpatient setting, after a 4-week run-in, patients older than 40 years with moderate-to-severe COPD were randomly assigned to oral roflumilast 500 mu g or placebo once a day for 24 weeks, in addition to salmeterol (M2-127 study) or tiotropium (M2-128 study). The primary endpoint was change in prebronchodilator forced expiratory volume in 1s (FEV(1)). Analysis was by intention to treat. The studies are registered with ClinicalTrials.gov, number NCT00313209 for M2-127, and NCT00424268 for M2-128. Findings In the salmeterol plus roflumilast trial, 466 patients were assigned to and treated with roflumilast and 467 with placebo; in the tiotropium plus roflumilast trial, 371 patients were assigned to and treated with roflumilast and 372 with placebo. Compared with placebo, roflumilast consistently improved mean prebronchodilator FEV(1) by 49 mL (p<0.0001) in patients treated with salmeterol, and 80 mL (p<0.0001) in those treated with tiotropium. Similar improvement in postbronchodilator FEV(1) was noted in both groups. Furthermore, roflumilast had beneficial effects on other lung function measurements and on selected patient-reported outcomes in both groups. Nausea, diarrhoea, weight loss, and, to a lesser extent, headache were more frequent in patients in the roflumilast groups. These adverse events were associated with increased patient withdrawal. Interpretation Roflumilast improves lung function in patients with COPD treated with salmeterol or tiotropium, and could become an important treatment for these patients

Abstract UITP 2005 Preliminary Version Designing a Proof GUI for Non-Experts – Evaluation of an Experiment

Often user interfaces of theorem proving systems focus on assisting particularly trained and skilled users, i.e., proof experts. As a result, the systems are difficult to use for non-expert users. This paper describes a paper and pencil experiment, in which (non-expert) students were asked to make suggestions for a GUI for an interactive system for mathematical proofs. They had to explain the usage of the GUI by applying it to construct a proof sketch for a given theorem. The evaluation of the experiment provides insights for the interaction design for non-expert users and the needs and wants of this user group. Key words: theorem proving, user interface, proof GUI